Existence and Predication in Free Logics

On Interpolation in Existence Logics

In [2] Gentzen calculi for intuitionistic logic extended with an existence predicate were introduced. Such logics were first introduced by Dana Scott, who provided a proof system for it in Hilbert style. The logic seems particularly useful in settings where non constant domain Kripke models play a role. In this paper it is proved that these systems have interpolation and the Beth definability p...

Model theory for modal logic - Part III existence and predication

This paper is concerned with the technical implications of a certain view connecting existence to predication. This is the view that in no possible world is there a genuine relation among the nonexistents of that world or between the nonexistents and the existents! The meaning of the term ‘genuine’ here may be variously explained. On an extreme interpretation, all relations are ‘genuine’, so th...

Predication 1 Predication

Logics For Context { Free

We deene matchings, and show that they capture the essence of context{freeness. More precisely, we show that the class of context{ free languages coincides with the class of those sets of strings which can be deened by sentences of the form 9 b', where ' is rst order, b is a binary predicate symbol, and the range of the second order quantiier is restricted to the class of matchings. Several var...

Predication